LLVM Based Approach to Static Analysis of C Programs in SAPFOR | IEEE Conference Publication | IEEE Xplore